basic
\\[0ex]Cancel($T$;$S$;${\it op}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$u$, $v$:$T$, $w$:$S$. (($w$ ${\it op}$ $u$) = ($w$ ${\it op}$ $v$)) $\Rightarrow$ ($u$ = $v$)